vertex-labeled graph